Skip to content

Comments

263: implicitly create the extensionPath if it does not already exist#290

Merged
asgrim merged 1 commit intophp:mainfrom
asgrim:create-extension-path-if-does-not-exist
Jul 28, 2025
Merged

263: implicitly create the extensionPath if it does not already exist#290
asgrim merged 1 commit intophp:mainfrom
asgrim:create-extension-path-if-does-not-exist

Conversation

@asgrim
Copy link
Contributor

@asgrim asgrim commented Jul 22, 2025

Fixes #263

@asgrim asgrim added this to the 1.1.0 milestone Jul 22, 2025
@asgrim asgrim self-assigned this Jul 22, 2025
@asgrim asgrim added the enhancement New feature or request label Jul 22, 2025
@asgrim asgrim mentioned this pull request Jul 22, 2025
Merged
@asgrim asgrim merged commit 7384262 into php:main Jul 28, 2025
23 checks passed
@asgrim asgrim deleted the create-extension-path-if-does-not-exist branch July 28, 2025 19:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@asgrim asgrim

Labels

enhancement New feature or request

Projects

None yet

Milestone

1.1.0

Development

Successfully merging this pull request may close these issues.

Implicitly create extension_dir if it does not exist

1 participant

@asgrim